Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
101	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
102	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:18 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
103	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:15 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
104	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 08:58:58 Software engineering Computer programming Computing Subroutines Functional languages Functional programming Lambda calculus Computability theory Scheme Lisp Closure Anonymous function
105	F# is a Multiparadigm Programming Language Imperative programming in F# So far we have used F# mainly as a functional language Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-05-05 10:51:38 Software engineering Computer programming Computing Subroutines Functional languages Data types Recursion Functional programming Immutable object F Sharp Closure Assignment
106	A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:18 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC
107	State of Rust 2016 Alex Crichton Rust is one year old! • • Add to Reading List Source URL: rustaceans.cologne Language: English - Date: 2016-08-17 10:30:30 Software Computing Concurrent programming languages Procedural programming languages Functional languages Cross-platform software Rust Visual C++ Go NetBSD FreeBSD ARM architecture
108	String Edit Distance (and intro to dynamic programming) Lecture #4 Computational Linguistics CMPSCI 591N, Spring 2006 Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Software engineering Computer programming Mathematics Dynamic programming Functional languages Quantitative linguistics Equations Systems engineering Levenshtein distance University of Massachusetts Amherst Fibonacci number Edit distance
109	02157 Functional Programming - Lecture 3: Lists Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 15:47:17 Software engineering Computer programming Declarative programming Functional languages Higher-order functions Programming language comparisons Append Functional programming Lisp Technical University of Denmark Map MRH
110	The Marriage of MrMathematica and MzScheme Chongkai Zhu Abstract Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:01 Software Computing Functional languages Wolfram Mathematica Lisp Anonymous function Eval Computer algebra system SageMath Scheme Functional programming Relational operator